Ident. | Authors (with country if any) | Title |
---|
000350 |
Abdessalem Bouzaieni [France] ; Salvatore Tabbone [France] ; Sabine Barrat [France] | Automatic Images Annotation Extension Using a Probabilistic Graphical Model |
000387 |
Abdessalem Bouzaieni [France] ; Sabine Barrat [France] ; Salvatore Tabbone [France] | Automatic annotation extension and classification of documents using a probabilistic graphical model |
000515 |
Thomas Bourquard [France] ; Flavie Landomiel [France] ; Eric Reiter [France] ; Pascale Crépieux [France] ; David W. Ritchie [France] ; Jérôme Azé [France] ; Anne Poupon [France] | Unraveling the molecular architecture of a G protein-coupled receptor/β-arrestin/Erk module complex |
000563 |
Willy Ugarte Rojas [France] ; Patrice Boizumault [France] ; Bruno Crémilleux [France] ; Alban Lepailleur [France] ; Samir Loudni [France] ; Marc Plantevit [France] ; Chedy Raïssi [France] ; Arnaud Soulet [France] | Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems |
000D26 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining |
001504 |
Ernest Valveny [Espagne] ; Mathieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France] | Report on the Symbol Recognition and Spotting Contest |
001A56 |
Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Synchronous Distributivity |
001C14 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification modulo Chaining |
001C64 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | String rewriting and security analysis: an extension of a result of Book and Otto |
001E36 |
O. Lidove [France] ; P. Kaminsky [France] ; E. Hachulla [France] ; V. Leguy-Seguin [France] ; C. Lavigne [France] ; I. Marie [France] ; F. Maillot [France] ; C. Serratrice [France] ; A. Masseau [France] ; P. Chérin [France] ; J. Cabane [France] ; E. Noel [France] | Fabry disease ‘The New Great Imposter’: results of the French Observatoire in Internal Medicine Departments (FIMeD) |
001E87 |
Ouriel Grynszpan [France] ; Jacqueline Nadel [France] ; Jean-Claude Martin [France] ; Jérôme Simonin [France] ; Pauline Bailleul [France] ; YUN WANG [France] ; Daniel Gepner [France] ; Florence Le Barillier [France] ; Jacques Constant [France] | Self-Monitoring of Gaze in High Functioning Autism |
001F64 |
Arnaud Soulet [France] ; Chedy Raïssi [France] ; Marc Plantevit [France] ; Bruno Crémilleux [France] | Mining Dominant Patterns in the Sky |
002025 |
Jérôme Azé [France] ; Thomas Bourquard [France] ; Sylvie Hamel [Canada] ; Anne Poupon [France] ; David Ritchie [France] | Using Kendall-Tau Meta-Bagging to Improve Protein-Protein Docking Predictions |
002082 |
Sarel J. Fleishman ; Timothy A. Whitehead ; Eva-Maria Strauch ; Jacob E. Corn ; Sanbo Qin ; Huan-Xiang Zhou ; Julie C. Mitchell ; Omar N A. Demerdash ; Mayuko Takeda-Shitaka ; Genki Terashi ; Iain H. Moal ; Xiaofan Li ; Paul A. Bates ; Martin Zacharias ; Hahnbeom Park ; Jun-Su Ko ; Hasup Lee ; Chaok Seok ; Thomas Bourquard [France] ; Julie Bernauer [France] ; Anne Poupon [France] ; Jérôme Azé [France] ; Seren Soner ; Sefik Kerem Oval ; Pemra Ozbek ; Nir Ben Tal ; Türkan Haliloglu ; Howook Hwang ; Thom Vreven ; Brian G. Pierce ; Zhiping Weng ; Laura Pérez-Cano ; Carles Pons ; Juan Fernández-Recio ; Fan Jiang ; Feng Yang ; Xinqi Gong ; Libin Cao ; Xianjin Xu ; Bin Liu ; Panwen Wang ; Chunhua Li ; Cunxin Wang ; Charles H. Robert ; Mainak Guharoy ; Shiyong Liu ; Yangyu Huang ; Lin Li ; Dachuan Guo ; Ying Chen ; Yi Xiao ; Nir London ; Zohar Itzhaki ; Ora Schueler-Furman ; Yuval Inbar ; Vladimir Patapov ; Mati Cohen ; Gideon Schreiber ; Yuko Tsuchiya ; Eiji Kanamori ; Daron M. Standley ; Haruki Nakamura ; Kengo Kinoshita ; Camden M. Driggers ; Robert G. Hall ; Jessica L. Morgan ; Victor L. Hsu ; Jian Zhan ; Yuedong Yang ; Yaoqi Zhou ; Panagiotis L. Kastritis ; Alexandre M J J. Bonvin ; Weiyi Zhang ; Carlos J. Camacho ; Krishna P. Kilambi ; Aroop Sircar ; Jeffrey J. Gray ; Masahito Ohue ; Nobuyuki Uchikoga ; Yuri Matsuzaki ; Takashi Ishida ; Yutaka Akiyama ; Raed Khashan ; Stephen Bush ; Denis Fouches ; Alexander Tropsha ; Juan Esquivel-Rodríguez ; Daisuke Kihara ; P Benjamin Stranges ; Ron Jacak ; Brian Kuhlman ; Sheng-You Huang ; Xiaoqin Zou ; Shoshana J. Wodak ; Joel Janin [France] ; David Baker | Community-Wide Assessment of Protein-Interface Modeling Suggests Improvements to Design Methodology. |
002153 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Block Chaining |
002158 |
Ernest Valveny [Espagne] ; Matthieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France] | Report on the Symbol Recognition and Spotting Contest |
002236 |
Ammar Oulamara [France] ; Ameur Soukhal [France] | Multi-agent scheduling with serial batching machine |
002265 |
Thomas Bourquard [France] ; Jérôme Azé [France] ; Anne Poupon [France] ; David Ritchie [France] | Protein-protein docking based on shape complementarity and Voronoi fingerprint |
002560 |
Thomas Bourquard [France] ; Julie Bernauer [France] ; Jérôme Azé [France] ; Anne Poupon [France] | A Collaborative Filtering Approach for Protein-Protein Docking
Scoring Functions |
002611 |
Jérôme Azé [France] ; Thomas Bourquard [France] ; Sylvie Hamel [Canada] ; Anne Poupon [France] ; David W. Ritchie [France] | Using Kendall- τ Meta-Bagging to Improve Protein-Protein Docking Predictions |
002635 |
Ouriel Grynszpan [France] ; Jacqueline Nadel [France] ; Jean-Claude Martin [France] ; Jérôme Simonin [France] ; Pauline Bailleul [France] ; Yun Wang [France] ; Daniel Gepner [France] ; Florence Le Barillier [France] ; Jacques Constant [France] | Self-Monitoring of Gaze in High Functioning Autism |
002695 |
Matthieu Chavent [France] ; Antoine Vanel [France] ; Alex Tek [France] ; Bruno Levy [France] ; Sophie Robert [France] ; Bruno Raffin [France] ; Marc Baaden [France, Allemagne] | GPU‐accelerated atom and dynamic bond visualization using hyperballs: A unified algorithm for balls, sticks, and hyperboloids |
002A91 |
Alexandre Learth Soares ; Fernando Rodrigues Coelho [France] ; Rodrigo Guabiraba [France] ; Mamdouh Kamal [France] ; B Boris Vargaftig ; Lily Li ; Jian Li [France] ; Wothan Tavares-De-Lima ; Bernhard Ryffel [France] | Tumor necrosis factor is not associated with intestinal ischemia/reperfusion-induced lung inflammation. |
002D71 |
Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France] | Cap Unification: Application to Protocol Security modulo Homomorphic Encryption |
002F57 |
J.-M. Canard [France] ; J. Étienne [France] ; J. M. Canard [France] ; R. Delcenserie [France] ; J. Boyer [France] ; M. Robaszkiewicz [France] ; J.-C. Letard [France] ; F. Cessot [France] ; P.-A. Dalbiès [France] ; J.-P. Carle [France] ; B. Kieffer [France] ; P. Capot [France] ; R.-P. Charles [France] ; D. Sautereau [France] ; T. Helbert [France] ; F. Devulder [France] ; V. Blandin-Matas [France] ; J.-L. Baron [France] ; J.-F. Vincensini [France] ; J. Lapuelle [France] ; A. Calazel-Benque [France] ; P. Pienkowski [France] ; É. Vaillant [France] ; V. Costil [France] ; G. Bonnaud [France] ; O. Berretta [France] ; A.-L. Tarrerias [France] ; F. Vicari [France] ; M.-P. Pingannaud [France] ; P. Coulom [France] ; F. Kholer [France] ; A. Margulies [France] ; J.-M. Rouillon [France] ; P. Adenis-Lamarre [France] ; L. Schmets [France] | XXIXe congrès du CREGG 24–25 septembre 2010, Marne-la-Vallée |
003002 |
Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification Modulo Homomorphic Encryption |
003025 |
É. Brosse [France] ; G. Badinier [France] ; F. Blanchard [France] ; E. Caspard [France] ; P. Y. Collin [France] ; J. Delmas [France] ; C. Dezayes [France] ; R. Dreux [France] ; A. Dufournet [France] ; P. Durst [France] ; S. Fillacier [France] ; D. Garcia [France] ; S. Grataloup [France] ; F. Hanot [France] ; V. Hasanov [France] ; P. Houel [France] ; C. Kervévan [France] ; M. Lansiart [France] ; M. Lescanne [France] ; A. Menjoz [France] ; M. Monnet [France] ; P. Mougin [France] ; B. Nedelec [France] ; A. Poutrel [France] ; X. Rachez [France] ; P. Renoux [France] ; C. Rigollet [France] ; V. Ruffier-Meray [France] ; S. Saysset [France] ; I. Thinon [France] ; A. Thoraval [France] ; S. Vidal-Gilbert [France] | Selection and Characterization of Geological Sites able to Host a Pilot-Scale CO2 Storage in the Paris Basin (GéoCarbone-PICOREF) |
003134 |
Mathieu Delalandre [France, Espagne] ; Jean-Yves Ramel [France] ; Ernest Valveny [Espagne] ; Muhammad Muzzamil Luqman [France, Espagne] | A Performance Characterization Algorithm for Symbol Localization |
003382 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | How to Tackle Integer Weighted Automata Positivity |
003464 |
Mickaël Coustaty [France] ; N. Sidère [France] ; Jean-Marc Ogier [France] ; Pierre Héroux [France] ; Jean-Yves Ramel [France] ; Chouaib Hassan [France] ; Nicole Vincent [France] ; Salim Jouili [France] ; Salvatore Tabbone [France] | Content-Based Old Documents Indexing |
003741 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
003768 |
Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Non Left-Linear Rules When Completing Tree Automata |
003B37 |
Nicolas Ragot [France] ; Julie Fortune [France] ; Paul M'Bongo [France] ; Nicole Vincent [France] ; Hubert Cardot [France] | Évaluation sur la création automatique de classes de signatures manuscrites pour l'authentification en ligne |
003E65 |
Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Left-Quadratic Rules When Completing Tree Automata |
003F94 |
Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Active Intruders with Caps |
004020 |
Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France] | Autour des langues et du langage |
004601 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Approximation based tree regular model checking |
004860 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Intruders with Caps |
004945 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Intruders with Caps |
004C39 |
Jérôme Fichet ; Dominique Babuty [France] | LETTER RESPONSE |
004E14 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
005300 |
Jean-Paul Chemla [France] ; Bernard Riera [France] ; François Gellot [France] ; Denis Kouame [France] | Simulation de partie opérative temps réel pour l’enseignement des automatismes |
005754 |
Siva Anantharaman [France] ; Gaétan Hains [France] ; Michael Rusinowitch [France] ; Paul Gastin [France] ; John Mullins [Canada] | Journal of Automata, Languages and Combinatorics, Vol. 11(1) |
006190 |
Mohammed Attik [France] ; Laurent Bougrain [France] ; Frédéric Alexandre [France] | Self-organizing Map Initialization |
006224 |
Mohammed Attik [France] ; Laurent Bougrain [France] ; Frédéric Alexandre [France] | Neural Network Topology Optimization |
006B10 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification Modulo ACUI Plus Distributivity Axioms |
006B63 |
Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis] | Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation |
006D89 |
Christian Artigues [France] ; Philippe Baptiste [France] ; Jacques Carlier [France] ; Philippe Chrétienne [France] ; Christelle Guéret [France] ; Claire Hanen ; S. Kedah-Sidhoum ; Chams Lahlou [France] ; C. Lenté ; Alix Munier-Kordon ; Emmanuel Neron [France] ; C. Picouleau ; Eric Pinson ; Marie-Claude Portmann [France] ; C. Prins ; C. Proust ; D. Rivreau ; Francis Sourd | Modèles et Algorithmes en Ordonnancement: Exercices et Problèmes Corrigés |
006F93 |
Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France] | How Useful are Dag Automata? |
007A42 |
Laurent Bougrain [France] ; Maria Gonzalez [France] ; Vincent Bouchot [France] ; Daniel Cassard [France] ; Andor L. W. Lips [France] ; Frédéric Alexandre [France] ; Gilbert Stein [France] | Knowledge Recovery for Continental-Scale Mineral Exploration by Neural Networks |
007D19 |
Siva Anantharaman ; Paliath Narendran [France] ; Michaël Rusinowitch [France] | ACID-Unification is NEXPTIME-Decidable |
007D29 |
Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France] | Unification modulo ACUI plus Homomorphisms/Distributivity |
007D55 |
Nicolas Szafran [France] ; Stéphane Despréaux [France] ; Luc Biard [France] ; Frédéric Blaise [France] | Sawing of Logs in Virtual Trees Using 3D Intersection Algorithms |
008B93 |
Emmanuel Melin [France] ; Bruno Raffin [France] ; Xavier Rebeuf [France] ; Bernard Virot [France] | A symbolic cost model for asynchronous parallel programs with structured dependences |
009F35 |
Patricia Dzeakou [France] ; Jean-Claude Derniame [France] | An Architecture for a Multi Criteria Exploration of a Documents Set |
00A003 |
J. Y. Ramel [France] ; N. Vincent [France] ; H. Emptoz [France] | A structural representation for understanding line-drawing images |
00A885 |
L. Guigue [France] ; T. Donadey [France] | Infections et systèmes d'aide à la décision |
00A893 |
Mohamed Slimane [France] ; Thierry Brouard [France] ; Gilles Venturini [France] ; Jean-Pierre Asselin De Beauville [France] | Apprentissage non-supervisé d'images par hybridation génétique d'une chaîne de Markov cachée |
00B261 |
M.-C. Portmann [France] ; A. Vignier [France] ; D. Dardilhac [France] ; D. Dezalay [France] | Branch and bound crossed with GA to solve hybrid flowshops |
00C008 |
Yvon Halbwachs [France] ; Gabriel Courrioux [France] ; Xavier Renaud [France] ; Philippe Repusseau [France] | Topological and geometric characterization of fault networks using 3-dimensional Generalized maps |
00C043 |
M. Slimane [France] ; G. Venturini [France] ; J. P. Asselin De Beauville [France] ; T. Brouard [France] ; A. Brandeau [France] | Optimizing hidden Markov models with a genetic algorithm |
00CD15 |
F. Lefèvre [France] ; C. Pichot [France] ; J. Pinon [France] | Intra- and interspecific inheritance of some components of the resistance to leaf rust ( Melampsora larici-populina Kleb.) in poplars |
00DE52 |
Siva Anantharaman [France] ; Jieh Hsiang [République populaire de Chine, États-Unis] | Automated proofs of the moufang identities in alternative rings |
00E072 |
Annie Despland [France] ; Monique Mazaud [France] ; Raymond Rakotozafy [France] | An implementation of retargetable code generators in prolog |
00EE15 |
C. Perrin [France] | Étude diffractométrique de la dissolution de l'oxygène dans le niobium à pression moyenne (75 Torr) et entre 300 et 400 °C II: Traitement mathématique des profils des raies X |